Smart contracts - Thinking On Paper